<?php session_start(); 

if(empty($_SESSION['perf'])){
		header("location:index.php");
		
		}


require_once('vistas/v_header_pag_prin.html');
print_r($_SESSION);echo "<br>";
echo $_SESSION['nombre'];
echo "<br>";
echo $_SESSION['perf'];
require_once('vistas/v_footer_pag_princ.html');
/*
require_once('libs/libs.php');


$Fsuma= suma(123,123);
echo "La suma ".$Fsuma;
echo "<br>";
$Fresta = resta(234354,44545);
echo "La resta ".$Fresta;
echo "<br>";
div(1454,45);
echo "<br>";
mul(4574,545);
*/

?>